New Mellea post on LintQ for IVR by gretadolcetti · Pull Request #80 · generative-computing/mellea-website

gretadolcetti · 2026-10-08T08:57:59Z

This pull request adds a new blog post, "Tests Pass, Smells Stay: Adding a Quantum Linter to Qiskit IVR," which describes integrating the LintQ quantum linter into the Mellea Instruct-Validate-Repair (IVR) loop for Qiskit code generation. The post explains how quantum-specific code smells can persist even after passing all tests and demonstrates how combining functional testing with quantum-aware static analysis significantly increases the share of generated programs that are both correct and free of quantum code smells.

Key additions and themes:

New Content: Quantum Linting in IVR

Introduces LintQ, a CodeQL-based static analyzer for Qiskit, and explains its integration into the Mellea IVR loop alongside functional tests.
Details specific quantum code smells detected by LintQ, such as applying gates after measurement and unused qubits, with a table of example rules.

Validation Pipeline and Implementation

Provides Python code snippets showing how correctness and LintQ validation are sequenced, ensuring only functionally correct programs are linted.
Explains how validation results are fed back into the repair loop, enabling iterative improvement of generated code.

Results and Impact

Presents experimental results on Qiskit HumanEval (hard) and Qiskit Quantum Katas

gretadolcetti · 2026-10-08T08:58:16Z

@ajbozarth

planetf1 · 2026-10-08T11:02:03Z

Hi @gretadolcetti - thanks for blog post. great to have a quantum example. Just two quick things

a) I noticed the description stopped after 'Presents experimental results on Qiskit HumanEval (hard) and' - not a big deal but you might have wanted to put more

b) You need to 'signoff' on your commits. this is why DCO is failing. Since you only have one commit it's fairly easy to add it (for example read here

Will take a read

Signed-off-by: Greta <gretadolcetti@gmail.com>

gretadolcetti · 2026-10-08T12:04:31Z

Hi @planetf1, thanks for the feedback! I should have fixed both aspects.

planetf1

Thanks @gretadolcetti! I tried running the code (macOS, mellea 0.8.0) and left a few comments inline.

Signed-off-by: Greta <gretadolcetti@gmail.com>

gretadolcetti · 2026-10-09T10:09:09Z

Thanks @planetf1 for the very quick and detailed review!

I believe I’ve addressed all your concerns in the latest fixes. Most of them stemmed from the fact that I intended the blog post not as a directly runnable example but as a didactic one, with pointers to the real code (in generative-computing/mellea#1716), where users can run it themselves and experiment, building on @ajbozarth’s existing example.

That said, I think your comments have improved the blog post a lot!

ajbozarth

Review generated by Claude. I'll do a separate manual pass through the blog myself.

Thanks @gretadolcetti — this is a great use of IVR, and a fun one to see written up. The code lines up with the current mellea APIs and the Results numbers match the example's benchmarking, so no concerns on accuracy.

Before this merges: the mellea example this links to may not include the LintQ code (see generative-computing/mellea#1716), so let's make sure the post doesn't depend on it — details inline. A few small copy nits inline as well.

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

Signed-off-by: Greta <gretadolcetti@gmail.com>

gretadolcetti · 2026-10-14T09:07:21Z

Hi @ajbozarth, thanks for the feedback and suggestions!
I should have clarified all the points that you mentioned.

ajbozarth

Review from Claude — the broken paragraph below came from a mis-anchored suggestion in Claude's earlier review, not your edits. Apologies for the churn.

The LintQ-paper citation and the CodeHelm note both look right. One leftover to fix, inline.

ajbozarth

Review from Claude.

One suggestion on the paper citation, inline.

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

github-actions · 2026-10-15T18:07:49Z

@gretadolcetti — this PR is scheduled to merge on 2026-10-15. Please enable auto-merge manually so it goes through the merge queue with CI.

ajbozarth · 2026-10-15T22:27:13Z

I do believe this looks good pending what happens with generative-computing/mellea#1716, either way we'll need to update the release date, I would suggest updating it to next Monday for now

Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

gretadolcetti · 2026-10-16T08:20:27Z

Thanks @ajbozarth for the positive review, I updated the release date to Monday 19th of October.

github-actions · 2026-10-16T17:54:26Z

@gretadolcetti — this PR is scheduled to merge on 2026-10-15. Please enable auto-merge manually so it goes through the merge queue with CI.

github-actions · 2026-10-17T16:55:57Z

@gretadolcetti — this PR is scheduled to merge on 2026-10-15. Please enable auto-merge manually so it goes through the merge queue with CI.

github-actions · 2026-10-18T17:11:09Z

@gretadolcetti — this PR is scheduled to merge on 2026-10-15. Please enable auto-merge manually so it goes through the merge queue with CI.

github-actions · 2026-10-19T19:43:45Z

@gretadolcetti — this PR is scheduled to merge on 2026-10-15. Please enable auto-merge manually so it goes through the merge queue with CI.

ajbozarth · 2026-10-19T19:46:39Z

I've removed the remind from the description so the bot stop posting everyday. I am still actively reviewing both this and more so the example PR to actually test run them manually and validate the readme and blog steps (slow due to low bandwidth). Once the other PR is merged we can update the date on this and release it.

ajbozarth

Per my recent comment on the example PR generative-computing/mellea#1716 (comment) I think we can unblock this with some minor tweaks and post it tomorrow.

And sorry for the delays in reviewing the PRs

ajbozarth · 2026-10-22T20:36:15Z

+
+```python
+from mellea.stdlib.requirements import req, simple_validate
+from validation_helpers import extract_code_from_markdown, validate_correctness, validate_lintq


not a huge issue given you define it in a code block below, but technically validate_lintq won't be in validation_helpers after addressing my review in the example PR. We can probably leave it as is, but if you have a better way of writing the import it may be clearer to a reader

Solved in gretadolcetti@d305c3f

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

gretadolcetti · 2026-10-23T07:41:45Z

Perfect, @ajbozarth. I should have addressed all of your last comments.

AngeloDanducci

Thanks for this, easy to follow, generally looks good! I'll let Alex give final approval as he's been more involved.

gretadolcetti requested review from a team and ajbozarth as code owners October 8, 2026 08:58

gretadolcetti requested a review from planetf1 October 8, 2026 08:58

New Mellea post on LintQ for IVR

fbcd1eb

Signed-off-by: Greta <gretadolcetti@gmail.com>

gretadolcetti force-pushed the main branch from adcd74a to fbcd1eb Compare October 8, 2026 12:00

planetf1 reviewed Oct 8, 2026

View reviewed changes

Comment thread content/blogs/qiskit-ivr-lintq.md Outdated

planetf1 reviewed Oct 8, 2026

View reviewed changes

Comment thread content/blogs/qiskit-ivr-lintq.md

Comment thread content/blogs/qiskit-ivr-lintq.md Outdated

Comment thread content/blogs/qiskit-ivr-lintq.md

Comment thread content/blogs/qiskit-ivr-lintq.md Outdated

Comment thread content/blogs/qiskit-ivr-lintq.md Outdated

planetf1 mentioned this pull request Oct 8, 2026

feat: Add test-suite validation to Qiskit IVR example generative-computing/mellea#1716

Open

1 of 5 tasks

gretadolcetti added 5 commits October 9, 2026 10:46

Use simple_validate, start_session and remove attempts

fbaf4da

Signed-off-by: Greta <gretadolcetti@gmail.com>

Run LintQ inside validate_lintq

2b46bf7

Signed-off-by: Greta <gretadolcetti@gmail.com>

More details for results reproduction

463615e

Signed-off-by: Greta <gretadolcetti@gmail.com>

How to install CodeQL and LintQ

8108f08

Signed-off-by: Greta <gretadolcetti@gmail.com>

Pointer to the prev example folder

9c9799d

Signed-off-by: Greta <gretadolcetti@gmail.com>

ajbozarth reviewed Oct 13, 2026

View reviewed changes

Comment thread content/blogs/qiskit-ivr-lintq.md Outdated

Comment thread content/blogs/qiskit-ivr-lintq.md Outdated

Comment thread content/blogs/qiskit-ivr-lintq.md

Comment thread content/blogs/qiskit-ivr-lintq.md

Comment thread content/blogs/qiskit-ivr-lintq.md

gretadolcetti and others added 5 commits October 14, 2026 09:52

Update content/blogs/qiskit-ivr-lintq.md

202463d

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

Update content/blogs/qiskit-ivr-lintq.md

8cafe97

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

Update content/blogs/qiskit-ivr-lintq.md

d7a0b7b

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

Mention LintQ Paper

c3447a1

Signed-off-by: Greta <gretadolcetti@gmail.com>

Add codehelm reference

95968a2

Signed-off-by: Greta <gretadolcetti@gmail.com>

ajbozarth reviewed Oct 14, 2026

View reviewed changes

Comment thread content/blogs/qiskit-ivr-lintq.md Outdated

ajbozarth reviewed Oct 14, 2026

View reviewed changes

Comment thread content/blogs/qiskit-ivr-lintq.md Outdated

gretadolcetti and others added 2 commits October 15, 2026 10:01

Update content/blogs/qiskit-ivr-lintq.md

33975a7

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

Update content/blogs/qiskit-ivr-lintq.md

7615aad

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

Update release date

589243a

Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

ajbozarth reviewed Oct 22, 2026

View reviewed changes

gretadolcetti and others added 2 commits October 23, 2026 08:37

Update content/blogs/qiskit-ivr-lintq.md

b6f3d19

Co-authored-by: Alex Bozarth <ajbozart@us.ibm.com> Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

Clarify where validate_lintq comes from in the LintQ blog post

d305c3f

Signed-off-by: Greta Dolcetti <53076361+gretadolcetti@users.noreply.github.com>

AngeloDanducci reviewed Oct 23, 2026

View reviewed changes

ajbozarth enabled auto-merge October 23, 2026 18:56

ajbozarth approved these changes Oct 23, 2026

View reviewed changes

ajbozarth added this pull request to the merge queue Oct 23, 2026

Merged via the queue into generative-computing:main with commit a9206e0 Oct 23, 2026
8 checks passed

Conversation

gretadolcetti commented Oct 8, 2026 • edited by ajbozarth Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

gretadolcetti commented Oct 8, 2026

Uh oh!

planetf1 commented Oct 8, 2026

Uh oh!

gretadolcetti commented Oct 8, 2026

Uh oh!

Uh oh!

planetf1 left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

gretadolcetti commented Oct 9, 2026

Uh oh!

ajbozarth left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

gretadolcetti commented Oct 14, 2026

Uh oh!

ajbozarth left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

ajbozarth left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

github-actions Bot commented Oct 15, 2026

Uh oh!

ajbozarth commented Oct 15, 2026

Uh oh!

gretadolcetti commented Oct 16, 2026

Uh oh!

github-actions Bot commented Oct 16, 2026

Uh oh!

github-actions Bot commented Oct 17, 2026

Uh oh!

github-actions Bot commented Oct 18, 2026

Uh oh!

github-actions Bot commented Oct 19, 2026

Uh oh!

ajbozarth commented Oct 19, 2026

Uh oh!

ajbozarth left a comment

Choose a reason for hiding this comment

Uh oh!

ajbozarth Oct 22, 2026

Choose a reason for hiding this comment

Uh oh!

gretadolcetti Oct 23, 2026

Choose a reason for hiding this comment

Uh oh!

Uh oh!

gretadolcetti commented Oct 23, 2026

Uh oh!

AngeloDanducci left a comment • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Choose a reason for hiding this comment

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

gretadolcetti commented Oct 8, 2026 •

edited by ajbozarth

Loading

AngeloDanducci left a comment •

edited

Loading